Course notes for CSC B36/236/240 INTRODUCTION TO THE THEORY OF COMPUTATION
نویسندگان
چکیده
These notes are licensed under a Creative Commons Attribution, Non-Commercial, No Derivatives license (CC BY-NC-ND). You may copy, distribute, and transmit these notes for free and without seeking specific permission from the author, as long as you attribute the work to its author, you do not use it for commercial purposes, and you do not alter it in any way (so, you may not extract and distribute individual chapters). For details of the lisence terms, see http://creativecommons.org/licenses/by-nc-nd/3.0/. Any other use of the notes requires the express written permission of the author.
منابع مشابه
CS4232 – Theory of Computation
These lecture notes contain all material relevant for the examinations and the course. For further reading, the author refers to the textbooks Automata Theory and its Applications by Bakhadyr Khoussainov and Anil Nerode [46] and Introduction to Automata Theory, Languages, and Computation by Hopcroft, Motwani and Ullman [35]. The author would like to thank Volker Diekert, Henning Fernau, Vladimi...
متن کاملA Survey of Categorical Computation: Fixed Points, . . .
E. Moggi, Categories of Partial Morphism and the p -calculus, In Category Theory and Computer Programming, Lecture Notes in Computer Science 240, SpringerVerlag, 1986. [Mog88a] E. Moggi, Computational Lambda-Calculus and Monads, Technical Report ECSLFCS-88-66, University of Edinburgh, October, 1988. [Mog88b] E. Moggi, Partial Morphisms in Categories of E ective Objects, Information and Computat...
متن کاملTeaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization
We describe experiments in teaching fundamental informatics notions around mathematical structures for formal concepts, and effective algorithms to manipulate them. The major themes of lambda-calculus and type theory served as guides for the effective implementation of functional programming languages and higher-order proof assistants, appropriate for reflecting the theoretical material into ef...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012